Algorithm engineering - PDFSEARCH.IO - Document Search Engine

Algorithm engineering
Results: 1680

#	Item
661	A Distributed Tableau Algorithm for Package-based Description Logics Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-05-28 18:22:03 Mathematics Knowledge engineering Knowledge representation Semantic Web Artificial intelligence Description logic Semantic reasoner Ontology D-module Science Information Information science
662	NII Lectures: A Model Of Parallelism To Guide Thinking Lawrence Snyder www.cs.washington.edu/homes/snyder 1 October 2008 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:57 Models of computation Programming paradigms Algorithm Mathematical logic Theoretical computer science Programming language Abstract machine C Abstraction Computing Software engineering Computer programming
663	Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† , Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Debugging Program analysis Program slicing Program transformation Software maintenance Static single assignment form Subroutine Algorithm Stack Computing Computer programming Software engineering
664	slide 1 gaius Space invaders in Python useful if you want to see the space invader algorithm: Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-03-02 08:56:45 Python Software engineering Computer programming Computing
665	VIIRS Ice Surface Temperature EDR Release, Provisional Data Quality Last Updated: Read-me for Data Users The Joint Polar Satellite System (JPSS) Algorithm Engineering Review Board approved the release of the V Add to Reading List Source URL: www.class.ncdc.noaa.gov Language: English - Date: 2014-02-13 15:14:27 European Drawer Rack Pharmaceutical industry Validation Science Spaceflight Joint Polar Satellite System National Oceanic and Atmospheric Administration
666	Motivation Some expressions in a program may cause redundant recomputation of values. If such recomputation is safely eliminated, the program will usually become faster. There exist several redundancy elimination optimis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-09 06:00:00 Computer programming Common subexpression elimination Regular expression Available expression Algorithm Assignment Redundant code Partial redundancy elimination Global value numbering Compiler optimizations Software engineering Computing
667 $Image processing / Dimension theory / Multifractal system / Wireless sensor network / Data mining / Algorithm / Segmentation / Structure / Mathematics / Fractals / Dimension$	Department of Computer Science and Software Engineering 2011 Departmental Post-Graduate Conference September 1-2, 2011 Lecture Theatre 031 Add to Reading List Source URL: www.cosc.canterbury.ac.nz Language: English - Date: 2014-07-15 23:15:32 Image processing Dimension theory Multifractal system Wireless sensor network Data mining Algorithm Segmentation Structure Mathematics Fractals Dimension
668	COMS21103 Priority queues and Dijkstra’s algorithm Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-01-08 09:09:07 Abstraction Computer science Software engineering Double-ended priority queue Abstract data types Priority queue Queue
669	Real World Activity Recognition with Multiple Goals Derek Hao Hu, Sinno Jialin Pan, Vincent Wenchen Zheng, Nathan Nan Liu, Qiang Yang Department of Computer Science and Engineering Hong Kong University of Science and Tec Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2008-08-12 08:09:22 Mind Activity recognition Estimation theory Maximum likelihood Interleaving Motivation Information extraction Algorithm Machine learning Cognition Science Artificial intelligence
670	BitScope: Automatically Dissecting Malicious Binaries David Brumley, Cody Hartwig, Min Gyung Kang, Zhenkai Liang James Newsome, Pongsin Poosankam, Dawn Song, Heng Yin March 18, 2007 Last Modified: May 23, 2007 CMU-CS-07- Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Symbolic execution Software engineering Programming language implementation Malware Algorithm Assembly language KeY Computer program Software bug Computing Formal methods Abstract interpretation

UPDATE